A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets
نویسندگان
چکیده
Today, performance prediction of component-based systems is important to help software engineers to analyze their applications in early stages of the development life-cycle, so that performance problems are avoided. To achieve performance prediction, modelling is a crucial step. It would be interesting if component performance models can be derived automatically. To this aim, we describe in this paper a software toolset which allows component designers of specific systems, that are Fractal systems, to generate performance models, starting from the Fractal architectural description of their system and component behaviours. These models consist of Stochastic Well formed Nets (SWN) and Stochastic Petri nets (SPN), and can be analyzed using SPN/SWN analysis tools. A case study illustrates the effectiveness of our approach.
منابع مشابه
Performance evaluation of Fractal component-based systems
Component based system development is now a well accepted design approach in software engineering. Numerous component models have been proposed and for most of them, specific software tools allow building Component Based System (CBS). Although these tools perform several checks on the built system, few of them provide formal verification of behavioural properties nor performance evaluation of t...
متن کاملFormal models of Fractal Component Based Systems for performance analysis
Component based system (CBS) development is now a well accepted design approach in software engineering. Although specific tools used for building CBS perform several checks on the built system, few of them provide formal verification of behavioural properties nor performance evaluation. In this context, we have developed a general method associating to a CBS a formal model, based on Stochastic...
متن کاملAn Approach to Predict Performance of Component-based Software with the Palladio Component Model and Stochastic Well-formed Nets
This paper describes which information about a component is needed to enable relevant analyses and emphasizes that prediction feedback should not based on internal models, but based on models which the domain experts understand. This paper proposes a new approach with the Palladio Component Model and Stochastic Well-formed Nets to provide performance predictions of distributed systems throughou...
متن کاملParametric Stochastic Well-Formed Nets and Compositional Modelling
Colored nets have been recognized as a powerful modelling paradigm for the validation and evaluation of systems, both in terms of compact representation and aggregate state space generation. In this paper we discuss the issue of adding compositionality to a class of stochas-tic colored nets named Stochastic Well-formed Nets, in order to increase modularity and reuse of the modelling eeorts. Thi...
متن کاملStochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0
Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present our tool QPME (Queueing Petri net Modeling Environment) for modeling an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013